| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Game Theory | Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 386682 | ||
| Algorithmische Spieltheorie (für Informatik & SSE) | Vorlesung | 381671 | Mo 14:30-16:00 MetP11 (2181|102) (×12) Di 14:30-16:00 MetP11 (2181|102) (×12) | |||
| Concepts and Models for Parallel and Data-centric Programming | Konzepte und Modelle der parallelen und datenzentrischen Programmierung (SS) | Fach-/Modulprüfung | 6 | 387547 | ||
| Konzepte und Modelle der parallelen und datenzentrischen Programmierung | Vorlesung/Übung | 388081 | Mi 14:30-16:00 MetP11 (2181|102) (×13) Do 10:30-12:00 MetP11 (2181|102) (×12) | |||
| Embedded Systems | Einführung in eingebettete Systeme | Fach-/Modulprüfung | 6 | 387408 | ||
| Einführung in eingebettete Systeme | Vorlesung/Übung | 382352 | Di 10:00-13:00 AachenMünchener Halle (Aula) (1010|131) (×1) Di 11:00-15:00 TEMP2 (1515|002) (×1) | |||
| Mobile Internet Technology | Mobile Internet Technology | Fach-/Modulprüfung | 6 | 386664 | ||
| Mobile Internet Technology | Vorlesung/Übung | 382536 | Do 10:30-12:00 AH I (2350|028) (×12) Fr 10:30-12:00 AH I (2350|028) (×12) | |||
| Modeling and analysis of hybrid systems | Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 386654 | ||
| Modellierung und Analyse hybrider Systeme | Vorlesung/Übung | 381348 | Mo 12:30-14:00 AH III (2350|314.1) (×12) Di 16:30-18:00 AH I (2350|028) (×14) | |||
| Performance Analysis and Correctness Checking of Parallel Applications | Leistungs- und Korrektheitsanalyse paralleler Programme | Fach-/Modulprüfung | 6 | 386759 | ||
| Leistungs- und Korrektheitsanalyse paralleler Programme | Vorlesung/Übung | 388083 | Mo 16:30-18:00 5056 (2356|056) (×13) Do 14:30-16:00 5056 (2356|056) (×11) | |||
| Semantics and Verification of Software | Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 386568 | ||
| Software Language Engineering | Projektarbeit Software Language Engineering | Projekt | 6 | 384388 | ||
| Software Language Engineering | Vorlesung/Übung | 384290 | Di 10:30-12:00 AH V (2356|050) (×13) Di 16:30-18:00 AH V (2356|050) (×14) Mi 16:30-18:00 AH V (2356|050) (×10) Do 14:30-16:00 AH V (2356|050) (×12) | |||
| Software Project Management | Software-Projektmanagement | Fach-/Modulprüfung | 4 | 386669 | ||
| Software-Projektmanagement | Übung | 381218 | Di 16:30-18:00 AH II (2350|111) (×4) | |||
| Software-Projektmanagement | Vorlesung | 383353 | Di 14:00-17:00 TEMP1 (1515|001) (×1) Di 16:30-18:00 AH II (2350|111) (×14) Mi 14:00-17:00 AH I (2350|028) (×1) Do 12:30-14:00 AH II (2350|111) (×12) | |||
| Static Program Analysis | Statische Programmanalyse | Fach-/Modulprüfung | 6 | 391243 | ||
| Statische Programmanalyse | Übung | 389640 | Mo 14:30-16:00 AH VI (2356|051) (×10) | |||
| Statische Programmanalyse | Vorlesung | 389641 | Mo 12:30-14:00 AH VI (2356|051) (×11) Fr 12:30-14:00 AH I (2350|028) (×10) |